A Model Transformation Approach for Code Generation from State Machine Diagram

نویسندگان

  • Brahim BOUSETTA
  • Omar EL BEGGAR
  • Toufiq GADI
چکیده

The Unified Modeling Language (UML) is widely considered as the defacto standard for the design of Object Oriented systems. This is standard has been wildly improved by the Model Driven Architecture (MDA) an other inititive of OMG to provide a complete development process for complex system. MDA promotes the use of models through the entire development process starting from a CIM for requirement specification to code generation. MDA provides also a set of model transformation to connect them and generate automatically the code. Among these models, UML state machines, finite state machines constitute the most widely used to specify the dynamic behavior of a system. However, generating code from state machine models, as part of the final system, constitutes one of the most challenging tasks due to its dynamic nature and because many state machine concepts are not supported by the object-oriented programming languages. Therefore, in this paper we introduce an approach to automatically generate code for specific platform from state machine.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

A Hybrid Meta-heuristic Approach to Cope with State Space Explosion in Model Checking Technique for Deadlock Freeness

Model checking is an automatic technique for software verification through which all reachable states are generated from an initial state to finding errors and desirable patterns. In the model checking approach, the behavior and structure of system should be modeled. Graph transformation system is a graphical formal modeling language to specify and model the system. However, modeling of large s...

متن کامل

Automatic Code Generation Based on Formally Analyzed Uml Statechart Models

This paper aims at providing an efficient implementation pattern for source code level instantiation of UML statcharts. The code generation is based on extended hierarchical automata, the formal description method used as an intermediate representation of statecharts for model checking purposes, this way enabling automatic implementation of formally analyzed models. Since statecharts can automa...

متن کامل

Realization of UML Class and State Machine Models in the C# Code Generation and Execution Framework

Many benefits are expected due to usage of code generation tools. A reliable application should be created effectively based on complex structural and behavioral models. Model driven approach for program development is realized in Framework for eXecutable UML (FXU). The tool transforms UML models into C# source code and supports execution of the application reflecting the behavioral model. The ...

متن کامل

From UML State Machine to code and back again!

UML state machines and their visual representations are much more suitable to describe logical behaviors of system entities than equivalent text based description such as IF-THEN-ELSE or SWITH-CASE constructions. Although many industrial tools and research prototypes can generate executable code from such a graphical language, generated code could be manually modified by programmers. After code...

متن کامل

Automatic Generation of Java Code From Communicating X-machine specifications

The state transition diagrams of the queue and button X-machines The state transition diagram of the lift X-machine v Declaration All sentences or passages quoted in this dissertation from other people's work have been specifically acknowledged by clear cross-referencing to author, work and page(s). Any illustrations which are not the work of the author of this dissertation have been used with ...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2014